- проверка логической непротиворечивости
- reasonableness check
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
проверка логической непротиворечивости
Look at other dictionaries:
Стереометрическая семантика — трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… … Проективный философский словарь
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
БРЭДЛИ — (Bradly) Фрэнсис Герберт (1846 1924) британский философ, представитель абсолютного идеализма, теоретик консерватизма. Получил образование в Оксфордском университете, где вскоре после окончания в 1870 был избран членом совета Мертон колледжа. В… … История Философии: Энциклопедия
БРЭДЛИ Фрэнсис Герберт (1846- 1924) — британский философ, представитель абсолютного идеализма, теоретик консерватизма. Получил образование в Оксфордском университете, где вскоре после окончания в 1870 был избран членом совета Мертон колледжа. В Оксфорде Б. посвятил себя целиком… … История Философии: Энциклопедия
Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… … Словарь-справочник терминов нормативно-технической документации
МИ 2174-91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения — Терминология МИ 2174 91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения: 1 Алгоритм однозначное описание последовательности операций над… … Словарь-справочник терминов нормативно-технической документации
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ГИПОТЕЗА — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… … Философская энциклопедия
ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — метод научного познания и рассуждения, основанный на выведении (дедукции) заключений из гипотез и др. посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а… … Философская энциклопедия
ПИРС — (Peirce) Чарльз Сандерс (1839 1914) амер. философ и ученый, основатель прагматизма. Род. и бoльшую часть жизни провел в г. Кембридже (шт. Массачусетс). Время от времени читал курсы лекций в Гарварде и ун те Джонса Хопкинса. Он публиковал в… … Философская энциклопедия
